2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)
Автор:
Bernhard Beckert
, Автор:
Reiner Hähnle
, Автор:
Peter H. Schmitt
Размер книги: 5.36 Mb
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings (Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence)
Автор:
Jürgen Giesl
, Автор:
Reiner Hähnle
Размер книги: 6.32 Mb
Handbook of Tableau Methods
Автор:
M. D'Agostino
, Автор:
Dov M. Gabbay
, Автор:
Reiner Hähnle
, Автор:
J. Posegga
Размер книги: 3.24 Mb
Automated deduction in multiple-valued logics
Автор:
Reiner Hähnle
Размер книги: 816 Kb
Theorem Proving with Analytic Tableaux and Related Methods 4 conf., TABLEAUX '95
Автор:
Peter Baumgartner
, Автор:
Reiner Hähnle
, Автор:
Joachim Posegga
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.54 Mb
Handbook of Tableau Methods
Автор:
M. D'Agostino
, Автор:
Dov M. Gabbay
, Автор:
Reiner Hähnle
, Автор:
J. Posegga
Размер книги: 3.24 Mb
Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings
Автор:
Bernhard Beckert
, Автор:
Reiner Hähnle
Размер книги: 1.84 Mb
